41![Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on](https://www.pdfsearch.io/img/6b8c0f5faaf4b6adf611189485197ec3.jpg) | Add to Reading ListSource URL: user.it.uu.seLanguage: English - Date: 2006-03-05 21:15:02
|
---|
42![Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen
About this work Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen
About this work](https://www.pdfsearch.io/img/1d4f693c26255b98073f61e2cb39769a.jpg) | Add to Reading ListSource URL: ko.stoffelen.nlLanguage: English - Date: 2018-02-09 07:39:36
|
---|
43![CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.). CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).](https://www.pdfsearch.io/img/79b78d5d1f401b7a7d7a025e5106be21.jpg) | Add to Reading ListSource URL: www.math.ens.frLanguage: English - Date: 2010-07-14 05:23:13
|
---|
44![ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs: ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs:](https://www.pdfsearch.io/img/21a69af9d70773fae7f53be3a0252d58.jpg) | Add to Reading ListSource URL: zkproof.orgLanguage: English - Date: 2018-10-25 10:32:39
|
---|
45![The Cost of AI Matt Mahoney Draft, Mar. 27, 2013 Abstract In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how The Cost of AI Matt Mahoney Draft, Mar. 27, 2013 Abstract In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how](https://www.pdfsearch.io/img/06388de29dc23658d7aaf5178d733a36.jpg) | Add to Reading ListSource URL: mattmahoney.netLanguage: English - Date: 2015-02-02 13:47:58
|
---|
46![DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen](https://www.pdfsearch.io/img/cf42ee14cb10df4fa1913a8bed35ef17.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
47![A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth](https://www.pdfsearch.io/img/08e2023ba77e49e43e7ddcc53f05ee38.jpg) | Add to Reading ListSource URL: www.math.ens.frLanguage: English - Date: 2009-12-04 07:35:13
|
---|
48![2019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a 2019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a](https://www.pdfsearch.io/img/4106afa802b3181469c36b0bc205d38a.jpg) | Add to Reading ListSource URL: www.bestplacestoworkfintech.comLanguage: English - Date: 2018-08-03 19:01:11
|
---|
49![How Socioeconomic Status Shapes Individuals’ Experiences of the Work-Family Interface in Canada by Melissa Holmes Moyser How Socioeconomic Status Shapes Individuals’ Experiences of the Work-Family Interface in Canada by Melissa Holmes Moyser](https://www.pdfsearch.io/img/add9a7bd34382ea014334263f5bb772e.jpg) | Add to Reading ListSource URL: tspace.library.utoronto.caLanguage: English - Date: 2015-08-13 00:00:43
|
---|
50![Chainweb Protocol Security Calculations Monica Quaintance, Will Martino, WORK IN PROGRESS - DRAFT v7 Chainweb Protocol Security Calculations Monica Quaintance, Will Martino, WORK IN PROGRESS - DRAFT v7](https://www.pdfsearch.io/img/05e6f794c7b17ceafa2369dbf7e7ee04.jpg) | Add to Reading ListSource URL: kadena.ioLanguage: English - Date: 2018-05-11 18:40:04
|
---|